home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / cocktail / lalr.lha / lalr / src / Reduce.md < prev    next >
Text File  |  1992-08-18  |  530b  |  27 lines
  1. (* check if the grammar is reduced *)
  2.  
  3. (* $Id: Reduce.md,v 1.1 1991/11/21 14:53:14 grosch rel $ *)
  4.  
  5. (* $Log: Reduce.md,v $
  6.  * Revision 1.1  1991/11/21  14:53:14  grosch
  7.  * new version of RCS on SPARC
  8.  *
  9.  * Revision 1.0  88/10/04  14:36:37  vielsack
  10.  * Initial revision
  11.  * 
  12.  *)
  13.  
  14. DEFINITION MODULE Reduce;
  15.  
  16.   VAR
  17.     Reduced : BOOLEAN;
  18.  
  19.   PROCEDURE TestReduced;
  20.  
  21.   (* prueft ob die im Module Automaton bekannte Grammatik
  22.      reduziert ist. Falls nein wird das Programm mittels einer
  23.      Fehlermeldung abgebrochen *)
  24.  
  25. END Reduce.
  26.  
  27.